a|b and a|c then a|(b-c)